Validating Behavioral Component Interfaces in Rewriting Logic

Validating Behavioral Component Interfaces in Rewriting Logic

Many distributed applications can be understood in terms of components interacting in an open environment such as the Internet. Open environments are subject to change in unpredictable ways, as other applications may arrive, evolve, or disappear. In order to validate components in such environments, it can be useful to build a simulation environment which reflects this highly unpredictable beha...

Behavioral Specification of Distributed Software Component Interfaces

46 Computer W ith the popularity of the Web and the Internet, networked computers are finding their way into a broader range of environments, from corporate offices to schools, homes, and shirt pockets. This new computing model fosters the development of distributed software components that communicate with one another across the underlying networked infrastructure. A distributed software compo...

Bi-rewriting rewriting logic

Rewriting logic appears to have good properties as logical framework, and can be useful for the development of programming languages which attempt to integrate various paradigms of declarative programming. In this paper I propose to tend towards the operational semantics for such languages by basing it on bi-rewrite systems and ordered chaining calculi which apply rewrite techniques to rst-orde...

Relating Meseguer’s Rewriting Logic with the Constructor-Based Rewriting Logic

Rewriting Logic and Secure Mobility Why Rewriting Logic

The purpose of this note is to propose a new approach to the formal semantics and declarative programming of mobile applications that meets the needs of mobile computing in a particularly natural and simple way. This approach also ooers a good formal basis for deen-ing the new security models that mobile computing so clearly needs, and formal methods for verifying that declarative mobile progra...